Пролог: как удалить каждый второй элемент списка

Это в значительной степени ответ Ландеи в конкретном синтаксисе Пролога:
р([], []).
г ([X], [X]).
r ([X, _ | Xs], [X | Ys]): - r (Xs, Ys).
Второй предикат не требуется.
|
Альтернативное решение с использованием foldl / 4:
fold_step (Предмет; истина: [Предмет | Хвост]; ложь: Хвост).
fold_step (_Item, false: хвост, true: хвост).
odd (Список, Odd): -
foldl (fold_step, List, true: Odd, _: []).
Применение:
? - нечетный ([1, 2, 3, 4, 5, 6, 7], Odd).
Нечетный = [1, 3, 5, 7]
Идея состоит в том, чтобы пройтись по списку, сохраняя при этом флаг «четность / нечетность» и меняя его значение (false -> true, true -> false) для каждого элемента. Мы также постепенно создаем список, добавляя те элементы, у которых флаг «четный / нечетный» равен true, и пропуская другие.
|
Этот прекрасный ответ от @ code_x386 использует списки различий и foldl / 4.
Давайте используем только одно предложение fold_step / 3 и сделаем отношение более общим, например:
fold_step (X, [X | Xs] + Ys, Ys + Xs).
list_odds_evens (список, шансы, эвены): -
foldl (fold_step, List, Odds + Evens, [] + []).
Примеры запросов:
? - list_odds_evens ([a, b, c, d, e, f], Odds, Evens).
Эвены = [b, d, f], Коэффициенты = [a, c, e]
? - list_odds_evens ([a, b, c, d, e, f, g], Odds, Evens).
Эвены = [b, d, f], Коэффициенты = [a, c, e, g]
редактировать
Почему бы не использовать на одно предложение меньше и не отказаться от предиката fold_step / 3?
лямбда спешит на помощь!
: - use_module (библиотека (лямбда)).
list_odds_evens (список, шансы, эвены): -
foldl (\ X ^ ([X | Xs] + Ys) ^ (Ys + Xs) ^ true, List, Odds + Evens, [] + []).
|
Другая возможность - использовать DCG, они обычно заслуживают внимания при описании списков:
list_oddindices (L, O): -
фраза (нечетные индексы (L), O). % список O описывается нечетными индексами // 1
oddindices ([]) ->%, если L пусто
[]. % O тоже пуст
oddindices ([X]) ->%, если L имеет только один элемент
[ИКС]. % это в O
oddindices ([O, _E | OEs]) ->%, если заголовок L состоит как минимум из двух элементов
[O],% первый находится в O
нечетные индексы (OE). % то же самое касается хвоста
Это, безусловно, менее элегантно, чем решения с использованием foldl / 4, но код очень легко читается, но он решает задачу, описанную OP, и работает в обоих направлениях:
? - list_oddindices ([1,2,3,4,5,6,7], O).
О = [1, 3, 5, 7];
ложный.
? - list_oddindices (L, [1,3,5,7]).
L = [1, _G4412, 3, _G4418, 5, _G4424, 7];
L = [1, _G4412, 3, _G4418, 5, _G4424, 7, _G4430];
ложный.
|
У меня здесь нет Пролога, чтобы опробовать его, и я немного заржавел, но он должен быть примерно таким, как
р([]) :- [].
г ([X]): - [X].
r ([X, Y | Z]): - R = r (Z), [X | R].
[Редактировать]
Конечно колодка правильная. Мое решение будет работать на функциональных языках, таких как Haskell или Erlang:
--Haskell
г [] = []
г [х] = [х]
r (x: _: xs) = x: (r xs)
В Prolog вы должны «втянуть» правые части в список аргументов, чтобы вызвать объединение.
|
Ваш ответ
StackExchange.ifUsing ("редактор", function () {
StackExchange.using ("externalEditor", function () {
StackExchange.using ("сниппеты", function () {
StackExchange.snippets.init ();
});
});
}, "фрагменты кода");
StackExchange.ready (функция () {
var channelOptions = {
теги: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", function () {
// Должен запускать редактор после сниппетов, если сниппеты включены
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("сниппеты", function () {
createEditor ();
});
}
else {
createEditor ();
}
});
function createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: ложь,
heartbeatType: 'ответ',
autoActivateHeartbeat: ложь,
convertImagesToLinks: правда,
noModals: правда,
showLowRepImageUploadWarning: true,
ReputationToPostImages: 10,
bindNavPrevention: правда,
постфикс: "",
imageUploader: {
brandingHtml: "На основе \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.14144.61182C47.4335 4.61182 46.7256234.9516284.61182C47.4335 4.61182 46.725623.4916284,61182C47.4335 4.61182 46.725623.4916284,61182 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.1419954.037.048.037.048.037.048.037.048.28.048.0 148.048.0 148.048.0 148.048.0 148.48.98.0 148.48.95.48.0 148.048.0 37.048.0 37.048.0 37.048.0 37.0 48.0 48.48.0 148.048.0 148.48.0 148.48.0 148.048.0 34.048.0 37.048.0 370.48.0 148.048.0 148.48.0 148.48.0 148.48.94.0 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.4455 37.0451 11.5454.595 1045835.820 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/> \ u003cpath fill-rule = \" evenodd \ "clip-rule = \" evenodd \ " = \ "M25.6622 17.6335C27.8049 17.6335 29.373916.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.66231 28.4555 4.94978 28.1109 5.50789C27.4399354.8652134.587134.587134.5879.0 13,913 25,3754 13.913C26.5612 13,913 27,4607 13,4902 28,1109 12.6616C28.1109 12,7229 28,1161 12,7799 28,121 12.8346C28.1256 12,8854 28,1301 12,9342 28,1301 12.983C28.1301 14,4373 27,2502 15,2321 25,777 15.2321C24.8349 15,2321 24,1352 14,9821 23,5661 14.7787C23.176 14,6393 22,8472 14,5218 22,5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335ZM24.1317 9.27932C24.1317 7.94324 24.9928 7.09766 26.1024 7.09766C27.2119 7.0186242118 11327118 11327649 28.1024 7.09766C27.2119 7.0186242.09 28.1024 7.09766C27.2119 7.91862432.09 10.6491 24.1317 9.27932Z \ "/> \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.8962 19.8079 13.2535 19.8079 11.9512V8.12928C19.8079 5.82936 18.4879 4.62866 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9.34.9627325 4,6286631 4,62866C9.34.9627325 4,6286631 4,62866C9.34.9627325 4,6286631 4,62866C9.3498327 4,6286631 4.66232 5.00066 5.28821 5.00066 6.59049V11.9512C5.00066 13.2535 5.47873 13.8962 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7.58817 8.44431 6.91193 9.53458 6.91188125125128105104.811 6.91179C118105104.84.844.8116.91193.88 13.8962C13.4375 13.8962 13.9157 13.2535 13.9157 11.9512V8.90741C 13.9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z \ "/ \ u00390375 \ u003c03ec2.8385.28 4.66232 1.82471 4.66232C0.791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59 049Z \ "/> \ u003cpath d = \" M1.87209 0.400291C0.843612 0.400291 0 1.1159 0 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.9881529001 2.87869 3.7234 1.988150029C3.7234 = \ "# 1BB76E \" /> \ u003c / svg \ u003e \ u003c / a> ",
contentPolicyHtml: "Вклады пользователей под лицензией \ u003ca href = \" https: //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \" https://stackoverflow.com / legal / content-policy \ "> (политика содержания) \ u003c / a>",
allowUrls: true
},
onDemand: правда,
discardSelector: ".discard-answer"
, немедленноShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
Спасибо за ответ на Stack Overflow!
Обязательно ответьте на вопрос. Предоставьте подробную информацию и поделитесь своим исследованием!
Но избегайте…
Просить о помощи, разъяснениях или отвечать на другие ответы.
Делать заявления, основанные на мнении; подкрепите их рекомендациями или личным опытом.
Чтобы узнать больше, ознакомьтесь с нашими советами по написанию отличных ответов.
Черновик сохранен
Черновик отклонен
Зарегистрируйтесь или войдите под своим ником
StackExchange.ready (функция () {
StackExchange.helpers.onClickDraftSave ('# ссылка для входа');
});
Зарегистрируйтесь с помощью Google
Зарегистрируйтесь через Facebook
Зарегистрируйтесь, используя электронную почту и пароль
Разместить
Опубликовать как гость
имя
Эл. адрес
Обязательно, но не отображается
StackExchange.ready (
function () {
StackExchange.openid.initPostLogin ('. New-post-login', 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f5935133% 2fprolog-how-to-remove-every-second-element-of-a-list% 23новый ответ ',' страница_вопроса ');
}
);
Опубликовать как гость
имя
Эл. адрес
Обязательно, но не отображается
Разместите свой ответ
Отменить
Нажимая «Опубликовать ответ», вы соглашаетесь с нашими условиями обслуживания, политикой конфиденциальности и политикой использования файлов cookie.
Не тот ответ, который вы ищете? Просмотрите другие вопросы с метками пролог списка или задайте свой вопрос.